圖靈機

是圖靈(Alan Mathison Turing)提出的，是一個想像中的機器，可以模仿人類做計算的過程。

想像圖靈機有一條無限長的紙條，始終跟著自己的狀態去做出相對應的指令，類比人的行為就像當肚子餓會去覓食，由狀態來決定下一步動作。圖靈機就像是所有可計算機器的一般化模型，而目前超越圖靈機的計算機，只能在數學上實現。

圖靈完備

圖靈完備是一個概念，是指能夠完成圖靈機所能做到的事即稱圖靈完備，也就是可以解決所有可計算的問題，幾乎所有的程式語言都是圖靈完備的，最明確的特徵就是是否能形成循環指令，而這也衍生出了著名一個問題稱為停機問題，描述是否存在一個程式再給於程式之前可以辨別這個程式是會無限迴圈還是會執行完停下來，而圖靈在數學上證明了是不存在的，圖靈機便是為了證明而提出的。

比特幣圖靈不完備

比特幣在設計上就是圖靈不完備的，這樣的壞處是相較於以太坊，比特幣網路並沒有太多的智能合約，在可拓展性上較為侷限，但還是有如閃電網路的擴容方案來試圖提升比特幣網路的交易速度，另一方面好處則是安全性來說更高，舉例像是以太坊著名的THE DAO攻擊正是藉由智能合約的漏洞來進行攻擊。